tail (Cons a b) => b;